Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
61	1 Implementing Erasure Policies Using Taint Analysis Filippo Del Tedesco, Alejandro Russo, and David Sands Chalmers University of Technology, G¨oteborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-01 07:44:06
62	Chalk, a language and tool for architecture design and analysis Wouter Swierstra, Koen Claessen, Carl Seger, Mary Sheeran and Emily Shriver Chalmers University of Technology and Intel 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
63	Fault-Tolerant Non-interference Extended Version Filippo Del Tedesco, Alejandro Russo, and David Sands Chalmers University of Technology, Sweden Abstract. This paper is about ensuring security in unreliable systems. We Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-03-01 20:19:01
64	May I? - Content Security Policy Endorsement for Browser Extensions Daniel Hausknecht1 , Jonas Magazinius1,2,3 , and Andrei Sabelfeld1 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-04-21 10:00:15
65	Value Sensitivity and Observable Abstract Values for Information Flow Control Luciano Bello1 , Daniel Hedin1,2 , and Andrei Sabelfeld1 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-09-18 08:04:23 Data types Type theory Typeof Variable High Speed 2 Information flow Dynamical system Monad Type system Operator
66	UITP 2003 Preliminary Version Taclets and the KeY Prover Martin Giese Chalmers University of Technology Department of Computing Science Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2008-02-15 04:25:19
67	. . Π-Ware: Hardware Description with Dependent Types Add to Reading List Source URL: wwwhome.cs.utwente.nl Language: English - Date: 2015-01-13 10:58:47 Hardware description languages Functional languages Agda Chalmers University of Technology SystemC Verilog VHDL Type theory Haskell
68	Master Thesis in Chalmers University, Sweden The influence of MgO in CaMnO3-δ oxygen carrier Background Chemical-looping Combustion (CLC) is an innovative fuel conversion technology inherent capture CO2 without energy c Add to Reading List Source URL: www.ese.mavt.ethz.ch Language: English - Date: 2013-11-28 06:24:51
69	Simplification Rules for Constrained Formula Tableaux Martin Giese Chalmers University of Technology Department of Computing Science SGothenburg, Sweden Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2007-09-18 03:47:57
70	Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-28 07:22:07 Software engineering Computer programming Declarative programming Lambda calculus Functional programming Functional languages Subroutines Theoretical computer science Eval Lazy evaluation Lisp Anonymous function

UPDATE